-
抽象主义集合论(下卷):从怀特到林内波
¥73.0(7.6折)定价:¥96.0本书(上下卷)所反映的内容是数理逻辑与数学哲学相结合的典范。前者是数学家们研究的对象,后者是哲学家们研究的对象。数理逻辑分为集合论、证明论、递归论和模型论。数学哲学在古典时期分为逻辑主义、直觉主义和形式主义,在当代分为虚构主义、结构主义、自然主义和多元主义。我们选取的是逻辑主义及其在当代的复活。如果说上卷讲的是集合论哲学,那么下卷讲的是模型论哲学。换句话说,上卷从集合论的视角去研究逻辑主义,下卷从模型论的视角去研究逻辑主义。我们依次描
-
抽象主义集合论(上卷):从布劳斯到斯塔德
¥77.0(7折)定价:¥110.0本书论述了数学基础三大主义的热潮退去后的数学哲学领域的变化和进展。哥德尔在完成不接近定理和连续统假设的相对协调性的证明以后,提出了自己的数学哲学思想。他持一种数学实在论的思潮,认为人有知觉到数学实体的能力。对数学实在论的强力支撑是有奎因-普特南的不可或缺性论证完成的。当然,帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历目前追溯的话,弗雷格既是数理逻辑的创始人,也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物,但哥德尔认为他的
-
宋司马文正公年谱、司马光资料汇编
¥59.0(6.7折)定价:¥88.0本书为《司马光全集》之一种,收入清陈弘谋编纂的《宋司马文正公年谱》和今人戎黙编的《司马光资料汇编》。陈氏所编年谱,概要记述了司马光一生的经历与学术,纠正了明人马峦等所编年谱之讹误,简而有法,是了解司马光生平行事的重要参考。《司马光资料汇编》以人为纲,汇集了宋至清对于司马光生平及其著述的评论、序跋、碑志等,既包含时人给司马光的信札、对其的记述,也包括后世或褒或贬的评价,为进一步了解司马光及研究司马光其人其学提供了便利...